$\Sigma$($r$) $i$ $\leq$ $k$ $<$ $j$. $E$($k$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\Pi$$r$$\downarrow$+gp $i$ $\leq$ $k$ $<$ $j$. $E$($k$)